12 research outputs found

    Towards an automatic approach for hardware verification according to ISO 26262 functional safety standard

    No full text
    The Failure Mode, Effect and Diagnostic Analysis (FMEDA) is a technique widely adopted by automotive industry to assess the level of reliability of hardware designs. Although very useful, it has the problem of taking a long time to complete and requires experts with extensive knowledge of the circuit under consideration. In this paper, it is presented a comparison between the analysis results obtained from an automatic tool developed by the authors with respect to the ones obtained by hand from a team of experts, followed by a critical review of the strengths and weaknesses, about the rules for automatic classification of the faults effects

    Automated Die Inking

    No full text

    An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard

    No full text
    With the increasing adoption of embedded systems in critical automotive applications, the verification of hardware designs reliability is becoming a strictly regulated process where the ISO26262 standard plays a key role. Today crucial verification activities such as failure analysis and FMEA are still relying heavily on reliability engineer expertise, as automatic methods supporting them are still lacking. In this paper, we introduce a novel approach that allows to automatically perform failure analysis considering the hardware schematic of the item under analysis, or safety-element-out-of-context, and a behavioral model of the software the hardware executes. An automotive case study is presented to illustrate the approach, and some preliminary results are discussed

    Time-averaged paleomagnetic field and secular variation: predictions from dynamo solutions based on lower mantle seismic tomography

    No full text
    We compare three dynamo solutions incorporating laterally varying boundary heat flux with paleomagnetic models and data. The boundary condition is defined by the D seismic shear-wave velocity and the three solutions have boundary anomalies with different amplitudes. The generated fields appear to divide into a stationary, boundary-locked part and a time-varying part with persistent centres of activity. Both parts contribute to the time average. A very long averaging time can be needed for nearly-locked solutions, but a rough time average that remains within the threshold set by the accuracy of paleomagnetic data is achieved in a fewdiffusion times. The locked part dominates for larger amplitude boundary anomalies. In previous work the locked field was shown to have strong similarities with the modern geomagnetic field. Previous dynamo solutions that were not locked to the boundary show similarities with our solutions with weak boundary forcing. The axisymmetric time average has small g0 2 and larger g0 3 components and peaks in inclination anomaly in high latitudes (associated with the locked field) and low latitudes (associated with the time average of the time-varying fields). The non-axisymmetric time average displays a striking longitudinal variation in inclination anomaly, with a large negative anomaly in the Pacific region in agreement with observations. None of the dominant geomagnetic coefficients are axisymmetric and g0 2 negligible in all three models. Secular variation is concentrated in equatorial latitudes, as in some recent paleomagnetic models. The locked field agrees with the inclination difference found between Hawai’i and Réunion, in agreement with paleomagnetic averages. The locked field agrees with the paleomagnetic time average rather better than the fields with less boundary variations.We conclude that, because the locked field agrees with the modern field aswell as some aspects of the long-term time average, the geomagnetic field spends a considerable time in the present four-lobe configuration: it is not a coincidence that the present field resembles the time average. Longitudinal variations are likely to be at least as important as latitudinal variations in the paleomagnetic time average. This presents a challenge for dynamo theory, since a move to more geophysically realistic parameters would appear to destroy the locked solutions
    corecore